[next] [prev] [prev-tail] [tail] [up]

2.2.16 Integrals 1501 to 1600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 277 335 463 463 0 375 445

N.S.

1 1.00 1.63 1.97 2.72 2.72 0.00 2.21 2.62

time (sec)

N/A 0.359 0.063 2.297 0.217 0.296 0.000 0.261 0.192

Problem 1502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 277 335 474 474 0 375 456

N.S.

1 1.00 1.60 1.94 2.74 2.74 0.00 2.17 2.64

time (sec)

N/A 0.362 0.060 2.239 0.224 0.307 0.000 0.252 10.096

Problem 1503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 277 335 485 485 0 375 467

N.S.

1 1.00 1.62 1.96 2.84 2.84 0.00 2.19 2.73

time (sec)

N/A 0.358 0.065 2.303 0.246 0.340 0.000 0.257 10.287

Problem 1504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 173 277 335 496 496 0 375 478

N.S.

1 1.00 1.60 1.94 2.87 2.87 0.00 2.17 2.76

time (sec)

N/A 0.350 0.064 2.567 0.237 0.310 0.000 0.259 10.652

Problem 1505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 131 230 256 265 375 231 273 326

N.S.

1 1.00 1.76 1.95 2.02 2.86 1.76 2.08 2.49

time (sec)

N/A 0.350 0.054 2.595 0.217 0.289 0.507 0.257 9.664

Problem 1506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 166 175 184 268 155 188 203

N.S.

1 1.00 1.60 1.68 1.77 2.58 1.49 1.81 1.95

time (sec)

N/A 0.300 0.042 2.582 0.211 0.344 0.388 0.265 9.603

Problem 1507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 72 109 118 173 102 119 123

N.S.

1 1.00 0.96 1.45 1.57 2.31 1.36 1.59 1.64

time (sec)

N/A 0.254 0.034 2.266 0.206 0.315 0.276 0.246 0.071

Problem 1508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 51 47 63 67 92 60 65 71

N.S.

1 1.00 0.92 1.24 1.31 1.80 1.18 1.27 1.39

time (sec)

N/A 0.230 0.025 2.275 0.208 0.311 0.183 0.253 9.772

Problem 1509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 31 32 35 39 27 33 31

N.S.

1 1.00 0.97 1.00 1.09 1.22 0.84 1.03 0.97

time (sec)

N/A 0.193 0.008 2.186 0.200 0.307 0.090 0.250 9.998

Problem 1510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 13 13 13 10 12 12

N.S.

1 1.00 1.00 1.08 1.08 1.08 0.83 1.00 1.00

time (sec)

N/A 0.146 0.002 2.179 0.199 0.298 0.051 0.254 0.028

Problem 1511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 53 57 92 93 233 94 76

N.S.

1 1.00 0.93 1.00 1.61 1.63 4.09 1.65 1.33

time (sec)

N/A 0.226 0.020 2.311 0.194 0.288 0.369 0.260 10.090

Problem 1512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 66 82 208 241 406 154 182

N.S.

1 1.00 0.81 1.01 2.57 2.98 5.01 1.90 2.25

time (sec)

N/A 0.252 0.042 2.318 0.209 0.334 0.611 0.258 9.962

Problem 1513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 97 108 386 495 632 254 329

N.S.

1 1.00 0.88 0.98 3.51 4.50 5.75 2.31 2.99

time (sec)

N/A 0.289 0.064 2.320 0.208 0.273 0.924 0.260 10.100

Problem 1514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 133 120 131 599 753 882 350 534

N.S.

1 1.00 0.90 0.98 4.50 5.66 6.63 2.63 4.02

time (sec)

N/A 0.326 0.077 2.681 0.242 0.321 1.308 0.260 10.467

Problem 1515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 301 344 374 577 367 356 393

N.S.

1 1.00 1.93 2.21 2.40 3.70 2.35 2.28 2.52

time (sec)

N/A 0.396 0.076 2.465 0.210 0.315 4.763 0.250 9.951

Problem 1516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 129 228 252 281 426 284 262 286

N.S.

1 1.00 1.77 1.95 2.18 3.30 2.20 2.03 2.22

time (sec)

N/A 0.334 0.051 2.299 0.218 0.328 1.729 0.250 0.127

Problem 1517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 166 178 201 292 209 177 204

N.S.

1 1.00 1.61 1.73 1.95 2.83 2.03 1.72 1.98

time (sec)

N/A 0.294 0.041 2.271 0.223 0.285 1.026 0.254 10.426

Problem 1518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 80 119 142 176 148 118 138

N.S.

1 1.00 0.93 1.38 1.65 2.05 1.72 1.37 1.60

time (sec)

N/A 0.254 0.029 2.290 0.205 0.288 0.596 0.252 9.818

Problem 1519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 53 66 84 84 88 59 80

N.S.

1 1.00 1.89 2.36 3.00 3.00 3.14 2.11 2.86

time (sec)

N/A 0.162 0.018 2.300 0.207 0.318 0.314 0.254 0.043

Problem 1520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 27 34 50 50 53 25 52

N.S.

1 1.00 0.71 0.89 1.32 1.32 1.39 0.66 1.37

time (sec)

N/A 0.188 0.007 2.238 0.208 0.276 0.175 0.250 0.034

Problem 1521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 35 35 37 12 37

N.S.

1 1.00 1.00 0.93 2.50 2.50 2.64 0.86 2.64

time (sec)

N/A 0.143 0.002 2.163 0.195 0.279 0.108 0.263 0.029

Problem 1522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 107 107 103 361 425 570 243 312

N.S.

1 1.00 1.00 0.96 3.37 3.97 5.33 2.27 2.92

time (sec)

N/A 0.282 0.030 2.571 0.210 0.326 0.865 0.265 0.211

Problem 1523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 121 132 598 751 882 288 534

N.S.

1 1.00 0.92 1.00 4.53 5.69 6.68 2.18 4.05

time (sec)

N/A 0.323 0.077 2.641 0.224 0.310 1.538 0.268 9.745

Problem 1524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 170 154 165 889 1151 1217 458 797

N.S.

1 1.00 0.91 0.97 5.23 6.77 7.16 2.69 4.69

time (sec)

N/A 0.378 0.138 2.342 0.247 0.320 2.734 0.269 9.955

Problem 1525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

208 208 195 572 626 943 0 586 644

N.S.

1 1.00 0.94 2.75 3.01 4.53 0.00 2.82 3.10

time (sec)

N/A 0.534 0.106 2.261 0.239 0.282 0.000 0.259 0.203

Problem 1526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 389 451 504 732 0 463 508

N.S.

1 1.00 2.15 2.49 2.78 4.04 0.00 2.56 2.81

time (sec)

N/A 0.447 0.093 2.277 0.224 0.306 0.000 0.259 9.723

Problem 1527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 300 349 397 542 0 351 399

N.S.

1 1.00 1.94 2.25 2.56 3.50 0.00 2.26 2.57

time (sec)

N/A 0.389 0.117 2.243 0.208 0.292 0.000 0.269 9.753

Problem 1528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

138 138 171 261 310 372 326 264 261

N.S.

1 1.00 1.24 1.89 2.25 2.70 2.36 1.91 1.89

time (sec)

N/A 0.340 0.055 2.271 0.206 0.309 106.251 0.266 9.686

Problem 1529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 28 140 179 215 215 236 180 203

N.S.

1 1.00 5.00 6.39 7.68 7.68 8.43 6.43 7.25

time (sec)

N/A 0.161 0.036 2.263 0.203 0.294 4.543 0.270 0.087

Problem 1530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 58 97 121 160 160 172 114 154

N.S.

1 1.00 1.67 2.09 2.76 2.76 2.97 1.97 2.66

time (sec)

N/A 0.184 0.024 2.204 0.200 0.275 1.002 0.258 9.514

Problem 1531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 57 71 109 109 116 61 107

N.S.

1 1.00 0.88 1.09 1.68 1.68 1.78 0.94 1.65

time (sec)

N/A 0.225 0.019 2.441 0.202 0.297 0.492 0.270 0.056

Problem 1532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 27 35 72 72 76 25 74

N.S.

1 1.00 0.71 0.92 1.89 1.89 2.00 0.66 1.95

time (sec)

N/A 0.194 0.008 2.434 0.195 0.290 0.281 0.274 0.047

Problem 1533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 14 13 57 57 61 12 59

N.S.

1 1.00 1.00 0.93 4.07 4.07 4.36 0.86 4.21

time (sec)

N/A 0.150 0.003 2.128 0.226 0.316 0.165 0.268 9.568

Problem 1534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 152 147 805 923 1081 445 721

N.S.

1 1.00 0.98 0.95 5.19 5.95 6.97 2.87 4.65

time (sec)

N/A 0.347 0.047 2.543 0.251 0.354 4.752 0.268 9.716

Problem 1535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

181 181 167 178 1154 1420 1518 473 1047

N.S.

1 1.00 0.92 0.98 6.38 7.85 8.39 2.61 5.78

time (sec)

N/A 0.427 0.079 2.522 0.276 0.370 13.432 0.272 10.108

Problem 1536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

220 220 204 215 1558 2005 1974 714 1427

N.S.

1 1.00 0.93 0.98 7.08 9.11 8.97 3.25 6.49

time (sec)

N/A 0.476 0.102 2.357 0.305 0.377 39.807 0.270 10.578

Problem 1537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B B B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 81 78 77 77 76 83 77

N.S.

1 1.00 2.61 2.52 2.48 2.48 2.45 2.68 2.48

time (sec)

N/A 0.191 0.013 2.204 0.214 0.309 0.041 0.271 0.062

Problem 1538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 59 56 53 53 58 59 55

N.S.

1 1.00 1.90 1.81 1.71 1.71 1.87 1.90 1.77

time (sec)

N/A 0.192 0.008 2.220 0.190 0.292 0.031 0.257 9.811

Problem 1539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 36 33 32 32 32 34 32

N.S.

1 1.00 1.16 1.06 1.03 1.03 1.03 1.10 1.03

time (sec)

N/A 0.192 0.006 0.093 0.198 0.325 0.020 0.262 0.043

Problem 1540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 26 26 31 20 27 24

N.S.

1 1.00 1.00 0.87 0.87 1.03 0.67 0.90 0.80

time (sec)

N/A 0.186 0.007 2.522 0.197 0.295 0.078 0.276 0.044

Problem 1541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 22 20 30 30 27 20 20

N.S.

1 1.00 0.71 0.65 0.97 0.97 0.87 0.65 0.65

time (sec)

N/A 0.179 0.008 2.184 0.199 0.279 0.125 0.274 9.912

Problem 1542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 22 20 40 40 37 20 20

N.S.

1 1.00 0.71 0.65 1.29 1.29 1.19 0.65 0.65

time (sec)

N/A 0.186 0.008 2.155 0.197 0.284 0.183 0.300 0.047

Problem 1543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 66 111 114 590 96 666 223 580

N.S.

1 0.72 1.21 1.24 6.41 1.04 7.24 2.42 6.30

time (sec)

N/A 0.221 1.032 2.205 0.204 0.266 2.202 0.279 10.553

Problem 1544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 66 89 90 399 69 464 173 377

N.S.

1 0.72 0.97 0.98 4.34 0.75 5.04 1.88 4.10

time (sec)

N/A 0.219 1.024 2.147 0.221 0.255 1.639 0.266 10.243

Problem 1545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 66 115 66 245 48 294 123 215

N.S.

1 0.72 1.25 0.72 2.66 0.52 3.20 1.34 2.34

time (sec)

N/A 0.226 0.998 2.109 0.194 0.312 1.228 0.280 10.118

Problem 1546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A A A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

69 69 91 32 125 24 156 75 77

N.S.

1 1.00 1.32 0.46 1.81 0.35 2.26 1.09 1.12

time (sec)

N/A 0.191 0.549 0.241 0.198 0.264 1.005 0.269 9.880

Problem 1547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C B A B A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

32 32 30 19 46 10 56 33 19

N.S.

1 1.00 0.94 0.59 1.44 0.31 1.75 1.03 0.59

time (sec)

N/A 0.160 0.006 0.217 0.216 0.275 0.487 0.274 9.937

Problem 1548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

80 54 42 48 0 25 0 45 0

N.S.

1 0.68 0.52 0.60 0.00 0.31 0.00 0.56 0.00

time (sec)

N/A 0.209 1.016 2.248 0.000 0.284 0.000 0.269 0.000

Problem 1549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F(-2) A F A F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

85 59 245 55 0 37 0 50 0

N.S.

1 0.69 2.88 0.65 0.00 0.44 0.00 0.59 0.00

time (sec)

N/A 0.217 0.760 2.468 0.000 0.296 0.000 0.264 0.000

Problem 1550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) A F(-1) B B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

46 46 37 31 0 38 0 69 40

N.S.

1 1.00 0.80 0.67 0.00 0.83 0.00 1.50 0.87

time (sec)

N/A 0.178 0.502 2.220 0.000 0.264 0.000 0.269 9.641

Problem 1551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) A F(-1) A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

92 66 45 32 0 50 0 83 41

N.S.

1 0.72 0.49 0.35 0.00 0.54 0.00 0.90 0.45

time (sec)

N/A 0.220 0.789 2.297 0.000 0.281 0.000 0.283 9.674

Problem 1552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) A F(-1) A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

92 66 45 32 0 61 0 98 41

N.S.

1 0.72 0.49 0.35 0.00 0.66 0.00 1.07 0.45

time (sec)

N/A 0.217 1.023 2.351 0.000 0.375 0.000 0.261 9.538

Problem 1553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) A F(-1) A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

92 66 45 32 0 72 0 111 41

N.S.

1 0.72 0.49 0.35 0.00 0.78 0.00 1.21 0.45

time (sec)

N/A 0.224 1.018 2.503 0.000 0.293 0.000 0.268 9.659

Problem 1554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 120 259 322 814 277 10178 528 0

N.S.

1 0.60 1.30 1.61 4.07 1.38 50.89 2.64 0.00

time (sec)

N/A 0.367 1.061 2.482 0.237 0.284 1.162 0.302 0.000

Problem 1555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 120 215 264 589 225 5923 431 0

N.S.

1 0.60 1.08 1.32 2.94 1.12 29.62 2.16 0.00

time (sec)

N/A 0.338 1.055 2.545 0.203 0.291 1.049 0.288 0.000

Problem 1556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 120 171 206 400 167 3305 337 0

N.S.

1 0.70 0.99 1.20 2.33 0.97 19.22 1.96 0.00

time (sec)

N/A 0.318 1.048 2.408 0.202 0.298 0.956 0.265 0.000

Problem 1557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 93 127 148 245 124 1695 240 0

N.S.

1 0.82 1.11 1.30 2.15 1.09 14.87 2.11 0.00

time (sec)

N/A 0.277 1.039 2.953 0.201 0.281 0.881 0.280 0.000

Problem 1558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 71 83 90 125 69 745 145 42

N.S.

1 1.03 1.20 1.30 1.81 1.00 10.80 2.10 0.61

time (sec)

N/A 0.196 1.024 3.072 0.202 0.272 0.713 0.269 9.898

Problem 1559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 23 20 46 31 294 57 32

N.S.

1 1.06 0.72 0.62 1.44 0.97 9.19 1.78 1.00

time (sec)

N/A 0.155 0.008 2.665 0.192 0.297 0.784 0.289 0.057

Problem 1560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 102 92 141 0 115 0 176 0

N.S.

1 0.61 0.55 0.85 0.00 0.69 0.00 1.06 0.00

time (sec)

N/A 0.250 1.034 2.796 0.000 0.286 0.000 0.274 0.000

Problem 1561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 103 132 156 0 172 0 178 0

N.S.

1 0.56 0.72 0.85 0.00 0.94 0.00 0.97 0.00

time (sec)

N/A 0.267 1.061 2.929 0.000 0.262 0.000 0.264 0.000

Problem 1562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 106 131 161 0 188 0 172 0

N.S.

1 0.57 0.70 0.87 0.00 1.01 0.00 0.92 0.00

time (sec)

N/A 0.269 1.053 2.918 0.000 0.307 0.000 0.290 0.000

Problem 1563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 114 104 146 0 177 0 179 0

N.S.

1 0.59 0.54 0.75 0.00 0.91 0.00 0.92 0.00

time (sec)

N/A 0.270 1.060 3.069 0.000 0.316 0.000 0.275 0.000

Problem 1564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 109 120 0 143 0 198 284

N.S.

1 1.00 2.27 2.50 0.00 2.98 0.00 4.12 5.92

time (sec)

N/A 0.180 1.059 2.975 0.000 0.286 0.000 0.267 9.682

Problem 1565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 86 112 126 0 160 0 214 284

N.S.

1 0.88 1.14 1.29 0.00 1.63 0.00 2.18 2.90

time (sec)

N/A 0.202 1.043 3.102 0.000 0.331 0.000 0.279 9.606

Problem 1566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 120 112 126 0 171 0 229 284

N.S.

1 0.84 0.78 0.88 0.00 1.20 0.00 1.60 1.99

time (sec)

N/A 0.273 1.034 3.480 0.000 0.314 0.000 0.265 9.505

Problem 1567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 120 112 126 0 182 0 242 284

N.S.

1 0.60 0.56 0.63 0.00 0.91 0.00 1.21 1.42

time (sec)

N/A 0.269 1.032 3.618 0.000 0.297 0.000 0.274 9.557

Problem 1568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 120 112 126 0 193 0 257 284

N.S.

1 0.60 0.56 0.63 0.00 0.96 0.00 1.28 1.42

time (sec)

N/A 0.269 1.036 3.803 0.000 0.330 0.000 0.280 9.680

Problem 1569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

266 174 385 506 815 427 28886 785 0

N.S.

1 0.65 1.45 1.90 3.06 1.61 108.59 2.95 0.00

time (sec)

N/A 0.466 1.082 2.824 0.239 0.286 1.306 0.291 0.000

Problem 1570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 147 319 414 588 360 16842 642 0

N.S.

1 0.67 1.46 1.89 2.68 1.64 76.90 2.93 0.00

time (sec)

N/A 0.425 1.069 2.853 0.208 0.279 1.196 0.281 0.000

Problem 1571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 120 253 322 400 277 9421 500 0

N.S.

1 0.70 1.47 1.87 2.33 1.61 54.77 2.91 0.00

time (sec)

N/A 0.361 1.059 2.800 0.221 0.278 1.072 0.271 0.000

Problem 1572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 93 187 230 245 197 4855 358 0

N.S.

1 0.74 1.50 1.84 1.96 1.58 38.84 2.86 0.00

time (sec)

N/A 0.297 1.050 2.720 0.218 0.248 0.944 0.261 0.000

Problem 1573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 71 121 138 125 115 2147 218 0

N.S.

1 1.03 1.75 2.00 1.81 1.67 31.12 3.16 0.00

time (sec)

N/A 0.196 1.034 2.487 0.205 0.258 0.819 0.273 0.000

Problem 1574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 23 20 46 53 666 83 32

N.S.

1 1.06 0.72 0.62 1.44 1.66 20.81 2.59 1.00

time (sec)

N/A 0.158 0.009 2.650 0.203 0.270 1.329 0.292 9.623

Problem 1575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

254 150 185 298 0 259 0 399 0

N.S.

1 0.59 0.73 1.17 0.00 1.02 0.00 1.57 0.00

time (sec)

N/A 0.295 1.061 3.023 0.000 0.271 0.000 0.274 0.000

Problem 1576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

292 158 246 307 0 373 0 398 0

N.S.

1 0.54 0.84 1.05 0.00 1.28 0.00 1.36 0.00

time (sec)

N/A 0.376 1.101 2.826 0.000 0.278 0.000 0.283 0.000

Problem 1577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

295 161 248 301 0 416 0 390 0

N.S.

1 0.55 0.84 1.02 0.00 1.41 0.00 1.32 0.00

time (sec)

N/A 0.355 1.073 2.728 0.000 0.272 0.000 0.265 0.000

Problem 1578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

292 158 247 295 0 425 0 389 0

N.S.

1 0.54 0.85 1.01 0.00 1.46 0.00 1.33 0.00

time (sec)

N/A 0.346 1.071 2.841 0.000 0.280 0.000 0.276 0.000

Problem 1579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

292 158 243 298 0 412 0 383 0

N.S.

1 0.54 0.83 1.02 0.00 1.41 0.00 1.31 0.00

time (sec)

N/A 0.344 1.085 2.920 0.000 0.397 0.000 0.279 0.000

Problem 1580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

300 166 196 284 0 373 0 391 0

N.S.

1 0.55 0.65 0.95 0.00 1.24 0.00 1.30 0.00

time (sec)

N/A 0.350 1.084 3.219 0.000 0.402 0.000 0.276 0.000

Problem 1581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 218 247 0 300 0 419 687

N.S.

1 1.00 4.54 5.15 0.00 6.25 0.00 8.73 14.31

time (sec)

N/A 0.181 1.054 3.575 0.000 0.375 0.000 0.293 9.635

Problem 1582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 86 223 262 0 326 0 437 687

N.S.

1 0.88 2.28 2.67 0.00 3.33 0.00 4.46 7.01

time (sec)

N/A 0.202 1.056 4.149 0.000 0.461 0.000 0.292 9.601

Problem 1583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 130 223 262 0 337 0 452 687

N.S.

1 0.87 1.50 1.76 0.00 2.26 0.00 3.03 4.61

time (sec)

N/A 0.225 1.055 5.300 0.000 0.634 0.000 0.280 9.610

Problem 1584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 174 223 262 0 348 0 465 687

N.S.

1 0.87 1.12 1.31 0.00 1.74 0.00 2.32 3.44

time (sec)

N/A 0.254 1.057 6.889 0.000 0.309 0.000 0.284 9.568

Problem 1585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 174 223 262 0 359 0 480 686

N.S.

1 0.56 0.72 0.85 0.00 1.17 0.00 1.56 2.23

time (sec)

N/A 0.334 1.055 7.771 0.000 0.302 0.000 0.277 9.644

Problem 1586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-2) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

308 174 223 262 0 370 0 493 687

N.S.

1 0.56 0.72 0.85 0.00 1.20 0.00 1.60 2.23

time (sec)

N/A 0.341 1.054 10.119 0.000 0.279 0.000 0.281 9.625

Problem 1587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 123 130 220 348 181 746 274 0

N.S.

1 0.55 0.59 0.99 1.57 0.82 3.36 1.23 0.00

time (sec)

N/A 0.273 1.050 2.415 0.197 0.283 1.542 0.294 0.000

Problem 1588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

173 99 90 142 205 116 462 175 0

N.S.

1 0.57 0.52 0.82 1.18 0.67 2.67 1.01 0.00

time (sec)

N/A 0.246 1.038 2.347 0.192 0.280 1.217 0.263 0.000

Problem 1589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 75 59 87 96 63 265 96 0

N.S.

1 0.60 0.48 0.70 0.77 0.51 2.14 0.77 0.00

time (sec)

N/A 0.220 1.023 2.254 0.189 0.274 0.936 0.261 0.000

Problem 1590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 177 45 52 24 134 44 79

N.S.

1 1.00 2.57 0.65 0.75 0.35 1.94 0.64 1.14

time (sec)

N/A 0.202 0.448 2.524 0.205 0.267 0.812 0.263 9.792

Problem 1591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 26 25 12 10 24 17 19

N.S.

1 1.00 0.74 0.71 0.34 0.29 0.69 0.49 0.54

time (sec)

N/A 0.166 0.004 2.314 0.201 0.293 0.486 0.280 9.490

Problem 1592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 62 248 42 0 26 0 53 0

N.S.

1 0.72 2.88 0.49 0.00 0.30 0.00 0.62 0.00

time (sec)

N/A 0.194 0.344 2.612 0.000 0.395 0.000 0.266 0.000

Problem 1593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 82 247 81 0 92 0 100 0

N.S.

1 0.63 1.89 0.62 0.00 0.70 0.00 0.76 0.00

time (sec)

N/A 0.253 0.886 2.274 0.000 0.361 0.000 0.265 0.000

Problem 1594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

182 108 97 162 0 242 0 173 0

N.S.

1 0.59 0.53 0.89 0.00 1.33 0.00 0.95 0.00

time (sec)

N/A 0.273 1.045 2.346 0.000 0.412 0.000 0.269 0.000

Problem 1595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 132 124 256 0 425 0 251 0

N.S.

1 0.57 0.54 1.11 0.00 1.84 0.00 1.09 0.00

time (sec)

N/A 0.308 1.049 2.403 0.000 0.358 0.000 0.265 0.000

Problem 1596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

210 128 174 214 397 292 0 216 0

N.S.

1 0.61 0.83 1.02 1.89 1.39 0.00 1.03 0.00

time (sec)

N/A 0.317 1.056 2.643 0.210 0.314 0.000 0.266 0.000

Problem 1597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

161 104 125 154 237 188 0 136 0

N.S.

1 0.65 0.78 0.96 1.47 1.17 0.00 0.84 0.00

time (sec)

N/A 0.280 1.041 2.483 0.206 0.259 0.000 0.278 0.000

Problem 1598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 85 241 92 113 99 0 84 0

N.S.

1 0.73 2.06 0.79 0.97 0.85 0.00 0.72 0.00

time (sec)

N/A 0.247 1.185 2.341 0.192 0.261 0.000 0.272 0.000

Problem 1599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 159 32 56 38 0 32 42

N.S.

1 1.00 2.30 0.46 0.81 0.55 0.00 0.46 0.61

time (sec)

N/A 0.199 0.613 2.254 0.204 0.263 0.000 0.277 10.248

Problem 1600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

34 34 23 20 14 24 0 20 30

N.S.

1 1.00 0.68 0.59 0.41 0.71 0.00 0.59 0.88

time (sec)

N/A 0.154 0.007 2.708 0.209 0.256 0.000 0.269 9.745

[next] [prev] [prev-tail] [front] [up]